Difference–restriction algebras of partial functions: axiomatisations and representations

We investigate the representation and complete classes for algebras of partial functions with signature relative complement domain restriction. provide prove correctness a finite equational axiomatisation class representable by functions. As corollary, same equations axiomatise injective For representations, we show that is meet if only it join complete. Then completely precisely atomic algebras. properties The universal-existential-universal this yields these simplest possible, in sense no existential-universal-existential exists.